# Mathematical Logic

- [[go]] https://en.wikipedia.org/wiki/Mathematical_logic